((v1 v2 1))
17
()